es{-}le{-}before(${\it es}$;$e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}before(${\it es}$; $e$) @ [$e$ / []]